match obj() with
| (:? (obj option)) -> ()
